d(X^n, gn(fn(X^n)))